#!/bin/bash
#PIDS=`pgrep -f "^./Launcher.*(AGV?|Commons).*"`
pkill -SIGINT -f "^./Launcher.*(PbV?|AGV?|Commons|Marsu).*"
#wait $PIDS
echo "Signal sent to terminate - it will take a while, be patient."
